Following a line of research initiated in [4], we describe a general framework for turning reduction concepts of relative computability into diagrams forming an analogy with the Cichoń diagram for cardinal characteristics of the continuum. We show that working from relatively modest assumptions about a notion of reduction, one can construct a robust version of such a diagram. As an application, we define and investigate the Cichoń diagram for degrees of constructibility relative to a fixed inner model W. Many analogies (...) hold with the classical theory as well as some surprising differences. Along the way, we introduce a new axiom stating, roughly, that the constructibility diagram is as complex as possible. (shrink)

We study the values of the higher dimensional cardinal characteristics for sets of functions $f:\omega ^\omega \to \omega ^\omega $ introduced by the second author in [8]. We prove that while the bounding numbers for these cardinals can be strictly less than the continuum, the dominating numbers cannot. We compute the bounding numbers for the higher dimensional relations in many well known models of $\neg \mathsf {CH}$ such as the Cohen, random and Sacks models and, as a byproduct show that, (...) with one exception, for the bounding numbers there are no $\mathsf {ZFC}$ relations between them beyond those in the higher dimensional Cichoń diagram. In the case of the dominating numbers we show that in fact they collapse in the sense that modding out by the ideal does not change their values. Moreover, they are closely related to the dominating numbers $\mathfrak {d}^\lambda _\kappa $. (shrink)

We study \(\kappa \) -maximal cofinitary groups for \(\kappa \) regular uncountable, \(\kappa = \kappa ^{. Revisiting earlier work of Kastermans and building upon a recently obtained higher analogue of Bell’s theorem, we show that: Any \(\kappa \) -maximal cofinitary group has \({ many orbits under the natural group action of \(S(\kappa )\) on \(\kappa \). If \(\mathfrak {p}(\kappa ) = 2^\kappa \) then any partition of \(\kappa \) into less than \(\kappa \) many sets can be realized as the (...) orbits of a \(\kappa \) -maximal cofinitary group. For any regular \(\lambda > \kappa \) it is consistent that there is a \(\kappa \) -maximal cofinitary group which is universal for groups of size \({. If we only require the group to be universal for groups of size \(\kappa \) then this follows from \(\mathfrak {p}(\kappa ) = 2^\kappa \). (shrink)

A Kaufmann model is an \(\omega _1\) -like, recursively saturated, rather classless model of \({{\mathsf {P}}}{{\mathsf {A}}}\) (or \({{\mathsf {Z}}}{{\mathsf {F}}} \) ). Such models were constructed by Kaufmann under the combinatorial principle \(\diamondsuit _{\omega _1}\) and Shelah showed they exist in \(\mathsf {ZFC}\) by an absoluteness argument. Kaufmann models are an important witness to the incompactness of \(\omega _1\) similar to Aronszajn trees. In this paper we look at some set theoretic issues related to this motivated by the seemingly (...) naïve question of whether such a model can be “killed” by forcing without collapsing \(\omega _1\). We show that the answer to this question is independent of \(\mathsf {ZFC}\) and closely related to similar questions about Aronszajn trees. As an application of these methods we also show that it is independent of \(\mathsf {ZFC}\) whether or not Kaufmann models can be axiomatized in the logic \(L_{\omega _1, \omega } (Q)\) where _Q_ is the quantifier “there exists uncountably many”. (shrink)